Satisfiability modulo theories - PDFSEARCH.IO - Document Search Engine

Satisfiability modulo theories
Results: 199

#	Item
131	Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-09-19 03:03:42 Formal methods Logical syntax Logic in computer science Mathematical logic Automated theorem proving Interpolation Satisfiability Modulo Theories Vampire Theorem Logic Theoretical computer science Mathematics
132	Tree Interpolation in Vampire? R´egis Blanc1 , Ashutosh Gupta2 , Laura Kov´acs3 , and Bernhard Kragl4 1 EPFL Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:40:38 Applied mathematics Logic in computer science Binary trees Craig interpolation Lemmas Interpolation Satisfiability Modulo Theories Tree Mathematical proof Mathematics Theoretical computer science Mathematical logic
133	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics
134	Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:09:54 Formal methods Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Automated theorem proving Solver Mathematical proof Theoretical computer science Mathematics Applied mathematics
135	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics
136	Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesis Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:02 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL X Window System Theoretical computer science Computing Software engineering
137	Architectures for Cooperating Constraint Solvers Alan Borning This material is based upon work supported in part by the National Science Foundation under Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:21 Software engineering Constraint satisfaction Constraint logic programming Cassowary Satisfiability Modulo Theories Constraint graph Solver Prolog ECLiPSe Constraint programming Declarative programming Theoretical computer science
138	Cooperating Solvers vs. Cooperating Languages Alan Borning This material is based upon work supported in part by the National Science Foundation under Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:12:51 Applied mathematics Operations research Mathematical optimization Computer file formats Electronic design automation Satisfiability Modulo Theories Solver Cassowary Sol Theoretical computer science Constraint programming Computing
139	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
140	Program Termination analysis using MAX-SMT∗ Daniel Larraz1 , Albert Oliveras1 , Enric Rodríguez-Carbonell1 , and Albert Rubio1 1 Universitat Politècnica de Catalunya, Barcelona, Spain Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Electronic design automation Logic in computer science Satisfiability Modulo Theories Theoretical computer science Applied mathematics Constraint programming